Перевод: со всех языков на все языки

со всех языков на все языки

n-местная функция

См. также в других словарях:

  • РЕКУРСИВНАЯ ФУНКЦИЯ — ч а с т и ч н о р е к у р с и в н а я ф у н к ц и я, одно из математич. уточнений интуитивного понятия вычислимой функции, определяемое следующим образом. Рассматриваются функции, заданные на натуральных числах и с натуральными значениями.… …   Математическая энциклопедия

  • ЛОГИЧЕСКАЯ ФУНКЦИЯ — n местная функция, определенная на множестве истинностных значений{И, Л} и принимающая значения в этом множестве. С каждой логической операцией связана логич. функция нек рые истинностные значения, то есть истинностное значение высказывания такие …   Математическая энциклопедия

  • Многосортная алгебра — Под многосортной алгеброй понимают некоторое множество объектов с определёнными на нём операциями (функциями). Объекты могут быть разнотипными, тогда каждому объекту приписывают так называемый сорт некоторое имя (или символ), характеризующий тип… …   Википедия

  • ПРИМИТИВНАЯ РЕКУРСИЯ — способ определения функций от натуральных аргументов с натуральными значениями. Говорят, что (n+1) местная функция f(x1, ... , х п, у). получена примитивной рекурсией из n местной функции g( х 1, ... , х п).и ( п+2).местной функции h( х 1, ... ,… …   Математическая энциклопедия

  • моделей теория —         МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей.         Наиболее развитой является М. т. формул… …   Энциклопедия эпистемологии и философии науки

  • ЛОГИКО-МАТЕМАТИЧЕСКИЕ ИСЧИСЛЕНИЯ — прикладные исчисления, формализации математич. теорий. Л. м. и. задается своим языком и перечнем постулатов (эти элементы образуют синтаксис).и в большинстве случаев снабжается семантикой. Существенными чертами, отличающими Л. м. и. от аксиоматич …   Математическая энциклопедия

  • РАЗРЕШИМЫЙ ПРЕДИКАТ — такой n местный предикат Р, заданный на нек ром множестве конструктивных объектов (напр., натуральных чисел) М, для к рого существует алгоритм, позволяющий для любого набора а 1; . . ., а п элементов множества Мнайти значение (И или Л) предиката… …   Математическая энциклопедия

  • МЕТОДЫ ВРАЧЕБНОГО ИССЛЕДОВАНИЯ — І. Общие принципы врачебного исследования. Рост и углубление наших знаний, все большее, и большее техническое оснащение клиники, основанное на использовании новейших достижений физики, химии и техники, связанное с этим усложнение методов… …   Большая медицинская энциклопедия

  • ГОЛОВНОЙ МОЗГ — ГОЛОВНОЙ МОЗГ. Содержание: Методы изучения головного мозга ..... . . 485 Филогенетическое и онтогенетическое развитие головного мозга............. 489 Bee головного мозга..............502 Анатомия головного мозга Макроскопическое и… …   Большая медицинская энциклопедия

  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

  • НАИМЕНЬШЕГО ЧИСЛА ОПЕРАТОР — m оператор, оператор минимизаци и, способ построения новых функций из других функций, состоящий в следующем. Пусть gесть (n+1) местная арифметич. функция, т. е. функция, аргументы к рой так же, как и она сама, принимают значения в множестве… …   Математическая энциклопедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»